Gul Agha: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Ecology and the problem of recycling household waste

Barialay Agha Gul,Alexeev V. V.

Journal:

Вестник Казанского технологического университета

Year:

2012

Language:

english

File:

PDF, 246 KB

english, 2012

2

A Survey of Statistical Model Checking

Agha, Gul, Palmskog, Karl

Journal:

ACM Transactions on Modeling and Computer Simulation

Year:

2018

Language:

english

File:

PDF, 622 KB

english, 2018

3

[IEEE 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06) - San Jose, CA, USA (04-07 April 2006)] 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06) - Scalable Modeling and Performance Evaluation of Wireless Sensor Networks

YoungMin Kwon,, Gul Agha,

Year:

2006

Language:

english

File:

PDF, 352 KB

english, 2006

4

Recent advances in wireless smart sensors for multi-scale monitoring and control of civil infrastructure

Spencer, Billie F., Jo, Hongki, Mechitov, Kirill A., Li, Jian, Sim, Sung-Han, Kim, Robin E., Cho, Soojin, Linderman, Lauren E., Moinzadeh, Parya, Giles, Ryan K., Agha, Gul

Journal:

Journal of Civil Structural Health Monitoring

Year:

2016

Language:

english

File:

PDF, 6.71 MB

english, 2016

5

A foundation for actor computation

AGHA, GUL A., MASON, IAN A., SMITH, SCOTT F., TALCOTT, CAROLYN L.

Journal:

Journal of Functional Programming

Year:

1997

Language:

english

File:

PDF, 643 KB

english, 1997

6

[Lecture Notes in Computer Science] Formal Modeling: Actors, Open Systems, Biological Systems Volume 7000 ||

Agha, Gul, Danvy, Olivier, Meseguer, José

Year:

2011

Language:

english

File:

PDF, 7.68 MB

english, 2011

7

[Lecture Notes in Computer Science] Concurrent Object-Oriented Programming and Petri Nets Volume 2001 || Concurrency in Communicating Object Petri Nets

Agha, Gul A., De Cindio, Fiorella, Rozenberg, Grzegorz

Year:

2001

Language:

english

File:

PDF, 356 KB

english, 2001

8

[Lecture Notes in Computer Science] Quantitative Evaluation of Systems Volume 9826 || Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems

Agha, Gul, Van Houdt, Benny

Year:

2016

Language:

english

File:

PDF, 494 KB

english, 2016

9

Special issue: High availability in CORBA

Agha, Gul, Guerraoui, Rachid

Journal:

Theory and Practice of Object Systems

Year:

1998

Language:

english

File:

PDF, 30 KB

english, 1998

10

A Modular Approach to Programming Distributed Real-Time Systems

Shangping Ren, Gul A. Agha, Masahiko Saito

Journal:

Journal of Parallel and Distributed Computing

Year:

1996

Language:

english

File:

PDF, 293 KB

english, 1996

11

A visualization model for concurrent systems

Mark Astley, Gul A. Agha

Journal:

Information Sciences

Year:

1996

Language:

english

File:

PDF, 1.21 MB

english, 1996

12

Agent framework services to reduce agent communication overhead in large-scale agent-based simulations

Myeong-Wuk Jang, Gul Agha

Journal:

Simulation Modelling Practice and Theory

Year:

2006

Language:

english

File:

PDF, 204 KB

english, 2006

13

What after Java? From objects to actors

Carlos A. Varela, Gul A. Agha

Journal:

Computer Networks and ISDN Systems

Year:

1998

Language:

english

File:

PDF, 507 KB

english, 1998

14

Actors: A unifying model for parallel and distributed computing

Gul A Agha, Wooyoung Kim

Journal:

Journal of Systems Architecture

Year:

1999

Language:

english

File:

PDF, 232 KB

english, 1999

15

Online efficient predictive safety analysis of multithreaded programs

Koushik Sen, Grigore Roşu, Gul Agha

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 1.45 MB

english, 2006

16

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

Gul Agha, José Meseguer, Koushik Sen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 444 KB

english, 2006

17

Case Studies in Security and Resource Management for Mobile Object Systems

Dejan Milojicic, Gul Agha, Philippe Bernadat, Deepika Chauhan, Shai Guday, Nadeem Jamali, Dan Lambright, Franco Travostino

Journal:

Autonomous Agents and Multi-Agent Systems

Year:

2002

Language:

english

File:

PDF, 398 KB

english, 2002

18

Towards reusable real-time objects

Brian Nielsen, Gul Agha

Journal:

Annals of Software Engineering

Year:

1999

Language:

english

File:

PDF, 225 KB

english, 1999

19

[IEEE 2009 International Conference on Parallel Processing (ICPP) - Vienna, Austria (2009.09.22-2009.09.25)] 2009 International Conference on Parallel Processing - Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures

Korthikanti, Vijay Anand, Agha, Gul

Year:

2009

Language:

english

File:

PDF, 1.13 MB

english, 2009

20

Scalable concurrent computing

Nalini Venkatasubramanian, Shakuntala Miriyala, Gul Agha

Journal:

Year:

1992

Language:

english

File:

PDF, 1.79 MB

english, 1992

21

Visualizing actor programs using predicate transition nets

Shakuntala Miriyala, Gul Agha, Yamina Sami

Journal:

Journal of Visual Languages & Computing

Year:

1992

Language:

english

File:

PDF, 2.91 MB

english, 1992

22

Energy-performance trade-off analysis of parallel algorithms for shared memory architectures

Vijay Anand Korthikanti, Gul Agha

Journal:

Sustainable Computing: Informatics and Systems

Year:

2011

Language:

english

File:

PDF, 514 KB

english, 2011

23

Preface to the special issue on Coordination Models and Languages (Coordination 2010)

Clarke, Dave, Agha, Gul

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 146 KB

english, 2013

24

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 6116 || Modelling Railway Interlocking Tables Using Coloured Petri Nets

Clarke, Dave, Agha, Gul

Year:

2010

Language:

english

File:

PDF, 410 KB

english, 2010

25

[Lecture Notes in Computer Science] Formal Modeling: Actors, Open Systems, Biological Systems Volume 7000 || Mathematical Models of Object-Based Distributed Systems

Agha, Gul, Danvy, Olivier, Meseguer, José

Year:

2011

Language:

english

File:

PDF, 266 KB

english, 2011

26

[ACM Press the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium - Lisbon, Portugal (2005.09.05-2005.09.09)] Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13 - CUTE

Sen, Koushik, Marinov, Darko, Agha, Gul

Year:

2005

Language:

english

File:

PDF, 258 KB

english, 2005

27

[ACM Press the first international conference - Los Angeles, California, USA (2003.11.05-2003.11.07)] Proceedings of the first international conference on Embedded networked sensor systems - SenSys '03 - Poster abstract

Mechitov, Kirill, Sundresh, Sameer, Kwon, Youngmin, Agha, Gul

Year:

2003

Language:

english

File:

PDF, 71 KB

english, 2003

28

[IEEE 2008 7th International Conference on Information Processing in Sensor Networks (IPSN) - St. Louis, MO, USA (2008.04.22-2008.04.24)] 2008 International Conference on Information Processing in Sensor Networks (ipsn 2008) - Passive Localization: Large Size Sensor Network Localization Based on Environmental Events

Kwon, YoungMin, Agha, Gul

Year:

2008

Language:

english

File:

PDF, 703 KB

english, 2008

29

[ACM Press the 1986 SIGPLAN workshop - Yorktown Heights, New York, United States (1986.06.09-1986.06.13)] Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming - - An overview of actor languages

Year:

1986

Language:

english

File:

PDF, 611 KB

english, 1986

30

[ACM Press the 7th International Conference - Calgary, Alberta, Canada (2009.08.27-2009.08.28)] Proceedings of the 7th International Conference on Principles and Practice of Programming in Java - PPPJ '09 - Actor frameworks for the JVM platform

Karmani, Rajesh K., Shali, Amin, Agha, Gul

Year:

2009

Language:

english

File:

PDF, 901 KB

english, 2009

31

Programming dynamically reconfigurable open systems with SALSA

Varela, Carlos, Agha, Gul

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 1.50 MB

english, 2001

32

[Lecture Notes in Computer Science] Concurrent Objects and Beyond Volume 8665 || From Linear Types to Behavioural Types and Model Checking

Agha, Gul, Igarashi, Atsushi, Kobayashi, Naoki, Masuhara, Hidehiko, Matsuoka, Satoshi, Shibayama, Etsuya, Taura, Kenjiro

Year:

2014

Language:

english

File:

PDF, 318 KB

english, 2014

33

[Lecture Notes in Computer Science] Concurrent Objects and Beyond Volume 8665 || Verifiable Object-Oriented Transactions

Agha, Gul, Igarashi, Atsushi, Kobayashi, Naoki, Masuhara, Hidehiko, Matsuoka, Satoshi, Shibayama, Etsuya, Taura, Kenjiro

Year:

2014

Language:

english

File:

PDF, 364 KB

english, 2014

34

[IEEE 2011 International Conference on Parallel Processing (ICPP) - Taipei, Taiwan (2011.09.13-2011.09.16)] 2011 International Conference on Parallel Processing - On the Energy Complexity of Parallel Algorithms

Korthikanti, Vijay Anand, Agha, Gul, Greenstreet, Mark

Year:

2011

Language:

english

File:

PDF, 215 KB

english, 2011

35

[IEEE International Conference on Integration of Knowledge Intensive Multi-Agent Systems, 2005. - Westin Hotel, Waltham, MA, USA (April 18-21, 2005)] International Conference on Integration of Knowledge Intensive Multi-Agent Systems, 2005. - Task assignment for a physical agent team via a dynamic forward/reverse auction mechanism

Ahmed, A., Patel, A., Brown, T., MyungJoo Ham,, Myeong-Wuk Jang,, Gul Agha,

Year:

2005

Language:

english

File:

PDF, 2.40 MB

english, 2005

36

[IEEE Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004). - Beijing, China (Sept. 20-24, 2004)] Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004). - ATspace: a middle agent to support application oriented matchmaking and brokering services

Myeong-Wuk Jang,, Momen, A.A., Gul Agha,

Year:

2004

Language:

english

File:

PDF, 255 KB

english, 2004

37

[IEEE International Conference on Integration of Knowledge Intensive Multi-Agent Systems, 2005. - Westin Hotel, Waltham, MA, USA (April 18-21, 2005)] International Conference on Integration of Knowledge Intensive Multi-Agent Systems, 2005. - Scalable agent distribution mechanisms for large-scale UAV simulations

Myeong-Wuk Jang,, Gul Agha,

Year:

2005

Language:

english

File:

PDF, 1.72 MB

english, 2005

38

The microelectronic wireless nitrate sensor network for environmental water monitoring

Gartia, Manas Ranjan, Braunschweig, Björn, Chang, Te-Wei, Moinzadeh, Parya, Minsker, Barbara S., Agha, Gul, Wieckowski, Andrzej, Keefer, Laura L., Liu, Gang Logan

Journal:

Journal of Environmental Monitoring

Year:

2012

Language:

english

File:

PDF, 1.13 MB

english, 2012

39

[IEEE 2014 IEEE 13th International Symposium on Parallel and Distributed Computing (ISPDC) - France (2014.6.24-2014.6.27)] 2014 IEEE 13th International Symposium on Parallel and Distributed Computing - Actors Programming for the Mobile Cloud

Year:

2014

Language:

english

File:

PDF, 155 KB

english, 2014

40

[IEEE Fifth IEEE International Conference on Peer-to-Peer Computing (P2P'05) - Konstanz, Germany (31-02 Aug. 2005)] Fifth IEEE International Conference on Peer-to-Peer Computing (P2P'05) - ARA: A Robust Audit to Prevent Free-Riding in P2P Networks

MyungJoo Ham,, Gul Agha,

Year:

2005

Language:

english

File:

PDF, 322 KB

english, 2005

41

[IEEE 37th Annual Simulation Symposium, 2004. - Arlington, VA, USA (18-22 April 2004)] 37th Annual Simulation Symposium, 2004. Proceedings. - SENS: a sensor, environment and network simulator

Sundresh, S., Wooyoung Kim,, Gul Agha,

Year:

2004

Language:

english

File:

PDF, 1.38 MB

english, 2004

42

[IEEE Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004. - Yorktown Heights, NY, USA (2004.06.9-2004.06.9)] Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004. - DecisionQoS: an adaptive, self-evolving QoS arbitration module for storage systems

Sandeep Uttamchandani,, Alvarez, G.A., Gul Agha,

Year:

2004

Language:

english

File:

PDF, 406 KB

english, 2004

43

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Reasoning about MDPs as Transformers of Probability Distributions

Korthikanti, Vijay Anand, Viswanathan, Mahesh, Agha, Gul, Kwon, YoungMin

Year:

2010

Language:

english

File:

PDF, 370 KB

english, 2010

44

[IEEE 18th International Parallel and Distributed Processing Symposium, 2004. - Santa Fe, NM, USA (April 26-30, 2004)] 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings. - Concurrency vs. sequential interleavings in 1-D threshold cellular automata

Tosic, P., Gul Agha,

Year:

2004

Language:

english

File:

PDF, 1.36 MB

english, 2004

45

[IEEE 2010 International Conference on Green Computing (Green Comp) - Chicago, IL, USA (2010.08.15-2010.08.18)] International Conference on Green Computing - Avoiding energy wastage in parallel applications

Korthikanti, Vijay Anand, Agha, Gul

Year:

2010

Language:

english

File:

PDF, 612 KB

english, 2010

46

[IEEE The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS' 03) - Anacapri, Italy (01-03 Oct. 2003)] The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS' 03) - Automated Veri.cation of the Dependability of Object-Oriented Real-Time Systems

Hui Ding,, Can Zheng,, Gul Agha,, Lui Sha,

Year:

2003

Language:

english

File:

PDF, 255 KB

english, 2003

47

[IEEE Sixth IEEE International Conference on Peer-to-Peer Computing (P2P'06) - Cambridge, UK (06-08 Sept. 2006)] Sixth IEEE International Conference on Peer-to-Peer Computing (P2P'06) - State Aware Data Dissemination over Structured Overlays

Liping Chen,, Gul Agha,

Year:

2006

Language:

english

File:

PDF, 340 KB

english, 2006

48

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - Model Checking MDPs with a Unique Compact Invariant Set of Distributions

Chadha, Rohit, Korthikanti, Vijay Anand, Viswanathan, Mahesh, Agha, Gul, Kwon, Youngmin

Year:

2011

Language:

english

File:

PDF, 300 KB

english, 2011

49

[IEEE 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO) - Venezia, Italy (2008.10.20-2008.10.24)] 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems - A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot Systems

Ham, MyungJoo, Agha, Gul

Year:

2008

Language:

english

File:

PDF, 382 KB

english, 2008

50

[IEEE 2012 9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON) - Seoul, Korea (South) (2012.06.18-2012.06.21)] 2012 9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON) - The time-keeping anomaly of energy-saving sensors: Manifestation, solution, and a structural monitoring case study

Moinzadeh, Parya, Mechitov, Kirill, Shiftehfar, Reza, Abdelzaher, Tarek, Agha, Gul, Spencer, Billie F.

Year:

2012

Language:

english

File:

PDF, 486 KB

english, 2012